Model-Based Requirements Authoring Creating Explicit Specifications with OPM
نویسنده
چکیده
We present a general process, supported by Object-Process Methodology (OPM) for authoring model-based requirements specifications. This approach is guided by adopting general systems engineering principles to requirements authoring and can be extended and applied broadly for authoring various kinds of technical documents. Requirements specifications are first conceptually analyzed and designed on the basis of OPM model construction rules. Then, constrained natural text is derived and adjusted based on the model. The stages and the benefits of this approach are presented via an example of an Automated Teller Machine (ATM) system.
منابع مشابه
Model-Based Standards Authoring
We present a methodology for model-based authoring of standards based on Object-Process Methodology (OPM). This general systems-engineering approach to authoring of specifications is supported by an OPM framework and a procedure for model-to-text translation. This methodology, developed as part of the ISO TC 184/SC 5 OPM Study Group activities, is expected to become the basis of an emerging ISO...
متن کاملModel-Based Meta-Standardization Modeling Enterprise Standards with OPM
To cope with current inconsistencies and incompleteness of technical documents, we propose a combined, model-based structured graphical and textual meta-standard approach for specification, verification and validation of complex systems in general and ISO enterprise standards in particular. This methodology, developed under the auspices of the ISO TC 184/SC 5 OPM Study Group, is presented along...
متن کاملA Comparison of the FOOM and OPM Methodologies for User Comprehension of Analysis Specifications
FOOM (Functional and Object-Oriented Methodology) and OPM (ObjectProcesses Methodology) are methodologies used for analyzing and designing information systems. Both integrate functional and objectoriented approaches, but differ in that the analysis specification of FOOM utilizes OO-DFDs (Data Flow Diagrams with object classes that replace traditional data-stores) and a class diagram, while OPM ...
متن کاملDocumenting System Specifications through OPM Web-Based Graphics/Text Equivalence: the Case of the Free Flight System
The generation of bimodal formal system specification documents that bi-directionally complement graphics from natural language and vice versa through ObjectProcess Methodology (OPM) is presented. A sample of free text paragraphs from a document that describes the concept of Free Flight as part of the National Airspace System are converted to OPM specification. We then discuss the requirements ...
متن کاملRAAT – The Reverie Avatar Authoring Tool A JavaScript library for designing online 3D character creator software
avatar embodiment within the World Wide Web has gained a lot of popularity in recent years thanks to the introduction of networked virtual environments created for socialization and entertainment purposes. As each of these virtual worlds generates a unique set of user requirements concerning representation preferences based on the environment’s context, it becomes clear that every attempt at cr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011